Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое algebraic specification - определение
Найдено результатов: 463
Algebraic specification
Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980.
Algebraic extension
FIELD EXTENSION VIA ADJOINING SOLUTIONS TO POLYNOMIALS WITH COEFFICIENTS IN THE SUBFIELD
Algebraic extension of a field; Algebraic field extension; Relative algebraic closure; Algebraic extension field
In mathematics, an algebraic extension is a field extension such that every element of the larger field is algebraic over the smaller field ; that is, if every element of is a root of a non-zero polynomial with coefficients in .Fraleigh (2014), Definition 31.
Derived algebraic geometry
BRANCH OF MATHEMATICS GENERALIZING ALGEBRAIC GEOMETRY SO THAT COMMUTATIVE RINGS PROVIDING LOCAL CHARTS ARE REPLACED BY SIMPLICIAL COMMUTATIVE RINGS OR E∞-RING SPECTRA, WHOSE HIGHER HOMOTOPY GROUPS ACCOUNT FOR NON-DISCRETENESS OF THE STRUCTURE SHEAF
Homotopical algebraic geometry; Spectral algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb{Q}), simplicial commutative rings or E_{\infty}-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g.
Common Algebraic Specification Language
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
Algebraic code-excited linear prediction
SPEECH CODING STANDARD
ACELP; Algebraic code excited linear prediction; CS-ACELP; Algebraic Code Excited Linear Prediction; Algebraic CELP
Algebraic code-excited linear prediction (ACELP) is a patented speech coding algorithm by VoiceAge Corporation in which a limited set of pulses is distributed as excitation to a linear prediction filter. It is a linear predictive coding (LPC) algorithm that is based on the code-excited linear prediction (CELP) method and has an algebraic structure.
Software requirements specification
A SET OF FUNCTIONAL AND NON-FUNCTIONAL REQUIREMENTS THAT A PIECE OF DESIGNED SOFTWARE NEEDS TO FULFIL, MAY INCLUDE A SET OF USE CASES
Requirements specification; IEEE 830; Req spec; Requirements specifications; Software Requirements Specification
A SOFTWARE REQUIREMENTS SPECIFICATION (SRS) is a description of a software system to be developed. It is modeled after business requirements specification (CONOPS).
Programming language specification
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.
Algebraic K-theory
BRANCH OF HOMOLOGICAL ALGEBRA THAT ASSIGNS A SERIES OF 𝐾‐GROUPS TO COMMUTATIVE RINGS AND OTHER ALGEBRAS
Algebraic k-theory; Algebraic K-group; Special Whitehead group; Algebraic K theory; Matsumoto's theorem (K-theory); + construction; Quillen's +-construction; Quillen's ±construction; Quillen's plus-construction; Higher K-group; Higer K-group
Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups.
specification
EXPLICIT IMPLEMENTATION OF REQUIREMENTS TO BE SATISFIED BY A MATERIAL, DESIGN, PRODUCT, OR SERVICE
Specifications; Tech specs; Technical specifications; Technical Specifications; Specification (standards); Specification; Project specification; Standardisation document; Standardisation documents; Out of specification; Specifiction; Technical specification; Design envelope; Technical set design specifications
n.
1.
Designation (of properties), characterization.
2.
Particularization, detailed statement.
UEFI Platform Initialization
TECHNICAL SPECIFICATION
Platform Initialization Specification; UEFI PI; EFI Platform Initialization; EFI PI; Platform Initialization
The Platform Initialization Specification (PI Specification) is a specification published by the Unified EFI Forum that describes the internal interfaces between different parts of computer platform firmware. This allows for more interoperability between firmware components from different sources.
